Merge pull request #1621 from jts-arm/typos
authorSoby Mathew <[email protected]>
Thu, 11 Oct 2018 11:00:48 +0000 (12:00 +0100)
committerGitHub <[email protected]>
Thu, 11 Oct 2018 11:00:48 +0000 (12:00 +0100)
Various corrections of typos


Trivial merge